A Note on Complete Boolean Algebras
نویسنده
چکیده
1. Introduction. Among commutative rings, Boolean algebras stand just below fields in simplicity of structure. In contrast, little is known concerning their classification. The purpose of this paper is to present a decomposition theorem for complete Boolean algebras, which, in a small way, simplifies the classification problem. As an illustration of how this decomposition theorem can be used, it is shown that an infinite cardinal number ^ can be the power of a complete Boolean algebra if and only if b$N° = fc$. The words "complete Boolean algebra" will henceforth often be abbreviated C.B.A. Similarly, B.A. stands for Boolean algebra. The join, meet and complement operations in a B.A. are denoted Vi
منابع مشابه
ON THE REPRESENTATION OF <r-COMPLETE BOOLEAN ALGEBRAS
A <r-complete Boolean algebra is a Boolean algebra in which for every sequence of elements a$-, i = l, • • • , there is an element U?an, the countable union of the a», such that aiQU?an for every i, and such that if diQx for every i then U?anQx. The dual operation, countable intersection, can be introduced through complementation, and the distributive law afMJi*'a» = Uf {aC\an) and its dual can...
متن کاملOn the Complexity of Boolean Uni cationFranz
Uniication modulo the theory of Boolean algebras has been investigated by several autors. Nevertheless, the exact complexity of the decision problem for uniication with constants and general uniication was not known. In this research note, we show that the decision problem is p 2-complete for uniication with constants and PSPACE-complete for general uniication. In contrast, the decision problem...
متن کاملFilter theory in MTL-algebras based on Uni-soft property
The notion of (Boolean) uni-soft filters in MTL-algebras is introduced, and several properties of them are investigated. Characterizations of (Boolean) uni-soft filters are discussed, and some (necessary and sufficient) conditions for a uni-soft filter to be Boolean are provided. The condensational property for a Boolean uni-soft filter is established.
متن کاملRepresentations as Full Peirce Algebras
Extended Abstract In this Note I prove a representation theorem for Peirce algebras introduced in Brink, Britz and Schmidt (1994b, 1994a). I show that the class of full Peirce algebras is characterised by the class of complete and atomic Peirce algebras in which the set of relational atoms is restricted by two conditions. One requires simplicity. The other requires that each relational element ...
متن کاملOn some classes of expansions of ideals in $MV$-algebras
In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate and $ (tau,sigma)$-Boolean in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010